Requirements of an Integrated Formal Method for Intelligent Swarms

NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems [47, 48, 49]. Missions that rely on multiple, smaller, collaborating spacecraft, analogous to swarms in nature, are being investigated to supplement and complement traditional missions that rely on one large spacecraft [16]. The small spacecraft in such missions would each be able to operate on their own to accomplish a part of a mission, but would need to interact and exchange information with the other spacecraft to successfully execute the mission

The study of metaphor as part of Critical Discourse Analysis

This article discusses how the study of metaphoric and more generally, figurative language use contributes to critical discourse analysis (CDA). It shows how cognitive linguists’ recognition of metaphor as a fundamental means of concept- and argument-building can add to CDA's account of meaning constitution in the social context. It then discusses discrepancies between the early model of conceptual metaphor theory and empirical data and argues that discursive-pragmatic factors as well as sociolinguistic variation have to be taken into account in order to make cognitive analyses more empirically and socially relevant. In conclusion, we sketch a modified cognitive approach informed by Relevance Theory within CDA

Protecting Against Address Space Layout Randomization (ASLR) Compromises and Return-to-Libc Attacks Using Network Intrusion Detection Systems

Writable XOR eXecutable (W XOR X) and Address Space Layout Randomisation (ASLR), have elevated the understanding necessary to perpetrate buffer overflow exploits [1]. However, they have not proved to be a panacea [1] [2] [3] and so other mechanisms such as stack guards and prelinking have been introduced. In this paper we show that host based protection still does not offer a complete solution. To demonstrate, we perform an over the network brute force return-to-libc attack against a pre-forking concurrent server to gain remote access to W XOR X and ASLR. We then demonstrate that deploying a NIDS with appropriate signatures can detect this attack efficiently

Pain-causing stinging nettle toxins target TMEM233 to modulate NaV1.7 function

Voltage-gated sodium (NaV) channels are critical regulators of neuronal excitability and are targeted by many toxins that directly interact with the pore-forming α subunit, typically via extracellular loops of the voltage-sensing domains, or residues forming part of the pore domain. Excelsatoxin A (ExTxA), a pain-causing knottin peptide from the Australian stinging tree Dendrocnide excelsa, is the first reported plant-derived NaV channel modulating peptide toxin. Here we show that TMEM233, a member of the dispanin family of transmembrane proteins expressed in sensory neurons, is essential for pharmacological activity of ExTxA at NaV channels, and that co-expression of TMEM233 modulates the gating properties of NaV1.7. These findings identify TMEM233 as a previously unknown NaV1.7-interacting protein, position TMEM233 and the dispanins as accessory proteins that are indispensable for toxin-mediated effects on NaV channel gating, and provide important insights into the function of NaV channels in sensory neurons

Correlations of differentially expressed gap junction connexins cx26, cx30, cx32, cx43 and cx46 with breast cancer progression and prognosis.

BACKGROUND AND AIMS: Connexins and their cell membrane channels contribute to the control of cell proliferation and compartmental functions in breast glands and their deregulation is linked to breast carcinogenesis. Our aim was to correlate connexin expression with tumor progression and prognosis in primary breast cancers. MATERIALS AND METHODS: Meta-analysis of connexin isotype expression data of 1809 and 1899 breast cancers from the Affymetrix and Illumina array platforms, respectively, was performed. Expressed connexins were also monitored at the protein level in tissue microarrays of 127 patients equally representing all tumor grades, using immunofluorescence and multilayer, multichannel digital microscopy. Prognostic correlations were plotted in Kaplan-Meier curves and tested using the log-rank test and cox-regression analysis in univariate and multivariate models. RESULTS: The expression of GJA1/Cx43, GJA3/Cx46 and GJB2/Cx26 and, for the first time, GJA6/Cx30 and GJB1/Cx32 was revealed both in normal human mammary glands and breast carcinomas. Within their subfamilies these connexins can form homo- and heterocellular epithelial channels. In cancer, the array datasets cross-validated each other's prognostic results. In line with the significant correlations found at mRNA level, elevated Cx43 protein levels were linked with significantly improved breast cancer outcome, offering Cx43 protein detection as an independent prognostic marker stronger than vascular invasion or necrosis. As a contrary, elevated Cx30 mRNA and protein levels were associated with a reduced disease outcome offering Cx30 protein detection as an independent prognostic marker outperforming mitotic index and necrosis. Elevated versus low Cx43 protein levels allowed the stratification of grade 2 tumors into good and poor relapse free survival subgroups, respectively. Also, elevated versus low Cx30 levels stratified grade 3 patients into poor and good overall survival subgroups, respectively. CONCLUSION: Differential expression of Cx43 and Cx30 may serve as potential positive and negative prognostic markers, respectively, for a clinically relevant stratification of breast cancers

Transient Neuronal Populations Are Required to Guide Callosal Axons: A Role for Semaphorin 3C

Neurons, glia, and callosal axons operate as a “ménage à trois” in the development of the corpus callosum

The concise guide to pharmacology 2019/20: Ion channels

The Concise Guide to PHARMACOLOGY 2019/20 is the fourth in this series of biennial publications. The Concise Guide provides concise overviews of the key properties of nearly 1800 human drug targets with an emphasis on selective pharmacology (where available), plus links to the open access knowledgebase source of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. Although the Concise Guide represents approximately 400 pages, the material presented is substantially reduced compared to information and links presented on the website. It provides a permanent, citable, point‐in‐time record that will survive database updates. The full contents of this section can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.14749. Ion channels are one of the six major pharmacological targets into which the Guide is divided, with the others being: G protein‐coupled receptors, nuclear hormone receptors, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The landscape format of the Concise Guide is designed to facilitate comparison of related targets from material contemporary to mid‐2019, and supersedes data presented in the 2017/18, 2015/16 and 2013/14 Concise Guides and previous Guides to Receptors and Channels. It is produced in close conjunction with the International Union of Basic and Clinical Pharmacology Committee on Receptor Nomenclature and Drug Classification (NC‐IUPHAR), therefore, providing official IUPHAR classification and nomenclature for human drug targets, where appropriate

Development of a surveillance scheme for equine influenza in the UK and characterisation of viruses isolated in Europe, Dubai and the USA from 2010-2012

Equine influenza viruses are a major cause of respiratory disease in horses worldwide and undergo antigenic drift. Several outbreaks of equine influenza occurred worldwide during 2010-2012, including in vaccinated animals, highlighting the importance of surveillance and virus characterisation. Virus isolates were characterised from more than 20 outbreaks over a 3-year period, including strains from the UK, Dubai, Germany and the USA. The haemagglutinin-1 (HA1) sequence of all isolates was determined and compared with OIE-recommended vaccine strains. Viruses from Florida clades 1 and 2 showed continued divergence from each other compared with 2009 isolates. The antigenic inter-relationships among viruses were determined using a haemagglutination-inhibition (HI) assay with ferret antisera and visualised using antigenic cartography. All European isolates belonged to Florida clade 2, all those from the USA belonged to Florida clade 1. Two subpopulations of clade 2 viruses were isolated, with either substitution A144V or I179V. Isolates from Dubai, obtained from horses shipped from Uruguay, belonged to Florida clade 1 and were similar to viruses isolated in the USA the previous year. The neuraminidase (NA) sequence of representative strains from 2007 and 2009 to 2012 was also determined and compared with that of earlier isolates dating back to 1963. Multiple changes were observed at the amino acid level and clear distinctions could be made between viruses belonging to Florida clade 1 and clade 2

Gene expression in the rat brain: High similarity but unique differences between frontomedial-, temporal- and occipital cortex

<p>Abstract</p> <p>Background</p> <p>The six-layered neocortex of the mammalian brain may appear largely homologous, but is in reality a modular structure of anatomically and functionally distinct areas. However, global gene expression seems to be almost identical across the cerebral cortex and only a few genes have so far been reported to show regional enrichment in specific cortical areas.</p> <p>Results</p> <p>In the present study on adult rat brain, we have corroborated the strikingly similar gene expression among cortical areas. However, differential expression analysis has allowed for the identification of 30, 24 and 11 genes enriched in frontomedial -, temporal- or occipital cortex, respectively. A large proportion of these 65 genes appear to be involved in signal transduction, including the ion channel <it>Fxyd6</it>, the neuropeptide <it>Grp </it>and the nuclear receptor <it>Rorb</it>. We also find that the majority of these genes display increased expression levels around birth and show distinct preferences for certain cortical layers and cell types in rodents.</p> <p>Conclusions</p> <p>Since specific patterns of expression often are linked to equally specialised biological functions, we propose that these cortex sub-region enriched genes are important for proper functioning of the cortical regions in question.</p